1. Algebraic systems

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical

رده :
QA
.
M3413
162

2. Algebraic systems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
162
.
M3513
1973

3. Algebraic systems

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
1
.
G7
v
.
192

4. Algebraic systems

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical

رده :
QA
162
.
M3413
1973

5. Automated Deduction -- CADE-12 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

6. Computer science logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.

رده :
QA75
.
5
H367
1996

7. Mathematical logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.

رده :
QA9
.
K67
2018

8. Theorem proving with the real numbers.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

رده :
QA76
.
9
.
A96
J646
2012